
#include <async.h>

extern async_sess_t *session_ns;
extern async_sess_t *go_syscall_service_ns_session(void);

async_sess_t *go_syscall_service_ns_session(void) {
	return session_ns;
}
